Active Program Analysis Using Rule-Based Modification and Aspectation

Runtime verification of programs using rule-based active system

runtime verification of programs using rule-based active system

0

fabrication of new ion sensitive field effect transistors (isfet) based on modification of junction-fet for analysis of hydronium, potassium and hydrazinium ions

a novel and ultra low cost isfet electrode and measurement system was designed for isfet application and detection of hydronium, hydrazinium and potassium ions. also, a measuring setup containing appropriate circuits, suitable analyzer (advantech board), de noise reduction elements, cooling system and pc was used for controlling the isfet electrode and various characteristic measurements. the t...

Using Program Analysis for Integration and Optimization of Rule-based Constraint Solvers

ABSTRACT. One lesson learned from practical applications is that constraints are often heterogeneous. Solving such constraints requires a collaboration of constraint solvers. In this paper, we introduce a methodology for the tight integration of CHR constraint solver programs into one such program. CHR is a high-level rule-based language for writing constraint solvers and reasoning systems. A c...

A Fuzzy Rule Based System for Fault Diagnosis, Using Oil Analysis Results

    Condition Monitoring,   Oil Analysis, Wear Behavior,   Fuzzy Rule Based System   Maintenance , as a support function, plays an important role in manufacturing companies and operational organizations. In this paper, fuzzy rules used to interpret linguistic variables for determination of priorities. Using this approach, such verbal expressions, which cannot be explicitly analyzed or statistic...